\relax 
\bibstyle{gatech-thesis}
\@writefile{toc}{\contentsline {chapter}{\MakeUppercase  {Acknowledgements}}{iii}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\contentsline {chapter}{\MakeUppercase  {Abstract}}{iv}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\contentsline {chapter}{\numberline {I}\MakeUppercase  {Introduction}}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Motivation}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Contribution}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Structure}{2}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\contentsline {chapter}{\numberline {II}\MakeUppercase  {Previous Work}}{3}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\contentsline {chapter}{\numberline {III}\MakeUppercase  {Background}}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}$\pi $-calculus}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}History of $\pi $-Calculus}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}{\bf  $\pi $} Calculus Operations}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Initial Stage}}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}An Example}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces After tranmission of a Channel}}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Focussed view}}{6}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\contentsline {chapter}{\numberline {IV}\MakeUppercase  {Type Soundness Proof}}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Introduction}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Featherweight Java (FJ)}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}Background}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}Featherweight Java(FJ) definition}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Featherweight Generic Java (FGJ)}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Extension to FGJ}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Type soundness proof}{9}}
\citation{*}
\@writefile{toc}{\setcounter {tocdepth}{2}}
\@writefile{toc}{\contentsline {chapter}{\numberline {V}\MakeUppercase  {Conclusion}}{10}}
\@writefile{toc}{\setcounter {tocdepth}{0}}
\@writefile{toc}{\setcounter {tocdepth}{0}}
\@writefile{toc}{\contentsline {chapter}{APPENDIX \numberline {A} --- \MakeUppercase  {Some Ancillary Stuff}}{11}}
\bibdata{javapi}
\bibcite{Cremet03pilib:a}{1}
\bibcite{5479529}{2}
\bibcite{}{3}
\bibcite{Pierce97pict:a}{4}
\@writefile{toc}{\contentsline {chapter}{\MakeUppercase  {References}}{12}}
\@writefile{toc}{\setcounter {tocdepth}{0}}
\@writefile{toc}{\contentsline {chapter}{\MakeUppercase  {Index}}{13}}
\@writefile{toc}{\setcounter {tocdepth}{0}}
\@writefile{toc}{\setcounter{tocdepth}{3}}
\@writefile{toc}{\contentsline {chapter}{\MakeUppercase  {Vita}}{14}}
\@writefile{toc}{\setcounter {tocdepth}{0}}
\@writefile{toc}{\setcounter {tocdepth}{2}}
